Bounded Reasoning and Higher-Order Uncertainty
نویسندگان
چکیده
منابع مشابه
Bounded Reasoning and Higher-Order Uncertainty
The standard framework for analyzing games with incomplete information models players as if they have an infinite depth of reasoning. This paper generalizes the type spaces of Harsanyi (1967–1968) so that players can have a finite depth of reasoning. The innovation is that players can have a coarse perception of the higher-order beliefs of other players, thus formalizing the small-world idea of...
متن کاملCoordination and Higher Order Uncertainty
In these notes, we discuss work on coordination in situations of uncertainty and investigate the importance of “higher order beliefs” – that is, players’ beliefs about their opponents beliefs about their beliefs about. We start with a particular class of “global” coordination games of incomplete information where players’ beliefs are highly, but not perfectly, correlated. There games are intere...
متن کاملHigher-Order Bounded Model Checking
We present a Bounded Model Checking technique for higherorder programs. The vehicle of our study is a higher-order calculus with general references. Our technique is a symbolic state syntactical translation based on SMT solvers, adapted to a setting where the values passed and stored during computation can be functions of arbitrary order. We prove that our algorithm is sound, and devise an opti...
متن کاملFirst-order reasoning for higher-order concurrency
We present a practical first-order theory of a higher-order ⇡-calculus which is both sound and complete with respect to a standard semantic equivalence. The theory is a product of combining and simplifying two of the most prominent theories for HO⇡ of Sangiorgi et al. and Je↵rey and Rathke [10, 21], and a novel approach to scope extrusion. In this way we obtain an elementary labelled transition...
متن کاملHigher-Order Uncertainty About Language∗
It has been frequently noted that successful language use depends on the interlocutors’ higher-order beliefs. David Lewis [21], for example, informally introduces common knowledge as part of his account of language as a convention. We, instead, formally model and study the effects of higher-order uncertainty about language. We find that in common-interest communication games higher-order uncert...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2012
ISSN: 1556-5068
DOI: 10.2139/ssrn.2116626